English translation for "théorie des automates"

automata (computation)
automata theory

Example Sentences:

	1.	Finite state machines are a class of automata studied in automata theory and the theory of computation. Les automates finis constituent une classe d'automates étudiée en théorie des automates et en informatique théorique.
	2.	The main focus of the journal is on automata theory, formal language theory, and combinatorics. Le thèmes couverts par le journal sont principalement la théorie des automates et des langages formels et la combinatoire.
	3.	In automata theory, a timed automaton is a finite automaton extended with a finite set of real-valued clocks. En théorie des automates, un automate temporisé est un automate fini doté d'un ensemble fini d'horloges à valeurs réelles.
	4.	The neglected influence of John von Neumann and his theory of automata are key themes throughout the book. L'influence négligée de John von Neumann et de sa théorie des automates sont des thèmes-clés tout au long du livre.
	5.	His primary academic interests are combinatorics on words, formal languages, automata theory, and algorithmic number theory. Ses domaines de recherche principaux portent sur la combinatoire des mots, les langages formels, la théorie des automates et la théorie algorithmique des nombres.
	6.	Solutions to Znám's problem have applications to the classification of surface singularities (Brenton and Hill 1988) and to the theory of nondeterministic finite automata. Les solutions du problème de Znám ont des applications dans la classification des singularités des surfaces Brenton et Hill (1988) et dans la théorie des automates finis non déterministes (Domaratzki et al. 2005).
	7.	Sheila Adele Greibach (born 6 October 1939 in New York City) is a researcher in formal languages in computing, automata, compiler theory (in particular), and computer science. Sheila Greibach Sheila Adele Greibach, née le 6 octobre 1939 à New York City), est une informaticienne théoricienne et chercheuse universitaire américaine, notamment en théorie des langages formels, théorie des automates, théorie de la compilation.
	8.	A celebrated result of algebraic automata theory due to Marcel-Paul Schützenberger asserts that a language is star-free if and only if its syntactic monoid is finite and aperiodic. Un célèbre résultat de la théorie des automates, dû à Marcel-Paul Schützenberger, est le suivant : Théorème (Schützenberger 1965) — Un langage rationnel est sans étoile si et seulement si son monoïde syntaxique est fini et apériodique.
	9.	Third, Eilenberg's reference work on automata theory has a chapter devoted to the so-called Brzozowski hierarchy inside the star-free languages, also known as dot-depth hierarchy. Enfin, Eilenberg, dans le volume B de son ouvrage de référence sur la théorie des automates, consacre un chapitre à ce qu'il appelle la « hiérarchie de Brzozowski » à l'intérieur des langages sans étoile, aussi connue maintenant sous le nom dot-depth hierarchy.
	10.	Seymour Ginsburg (December 12, 1927 – December 5, 2004) was an American pioneer of automata theory, formal language theory, and database theory, in particular; and computer science, in general. Seymour Ginsburg Seymour Ginsburg, né le 12 décembre 1927 et mort le 5 décembre 2004, est un informaticien théoricien américain, pionnier de la théorie des automates, des langages formels et notamment des langages algébriques, et de la théorie des bases de données.

Similar Words：

"théorie de yang-mills" English translation, "théorie de young–helmholtz" English translation, "théorie des anciens astronautes" English translation, "théorie des anneaux" English translation, "théorie des attentes" English translation, "théorie des bandes" English translation, "théorie des bases de données" English translation, "théorie des bifurcations" English translation, "théorie des catastrophes" English translation